What Can We Expect from Program Verification?

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Timing verification of real-time automotive Ethernet networks: what can we expect from simulation?

Switched Ethernet is a technology that is profoundly reshaping automotive communication architectures as it did in other application domains such as avionics with the use of AFDX backbones. Early stage timing verification of critical embedded networks typically relies on simulation and worst-case schedulability analysis. When the modeling power of schedulability analysis is not sufficient, ther...

متن کامل

What can we expect from omega-3 fatty acids?

Omega-3 fatty acids are abundant in fish oil. A high dietary intake of omega-3 fatty acids has been strongly linked to lower rates of cardiovascular disease in epidemiologic studies. Fish oil supplements lower triglyceride levels and may have other benefits such as preventing arrhythmias, reducing inflammation (although they have minimal impact on C-reactive protein), inhibiting platelet aggreg...

متن کامل

What we Expect from Digital Libraries

Digital Libraries have been the subject of more than a decade of attention by researchers and developers, and yet in all this time the implementations have not matched the promises. By far the majority of systems have concentrated on content and provided limited or basic functions for users. In this article we offer a new look at what can be expected from a digital library system based on conte...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Computer

سال: 2006

ISSN: 0018-9162

DOI: 10.1109/mc.2006.363